.sidenote, label.sidenote-number {
  color: mediumvioletred;
}


pre {
  background-color: rgb(255, 255, 255);

  border-color: rgb(204, 204, 204);
  border-radius: 4px;
  border-style: solid;
  border-width: 1px;
  border-image-outset: 0px;
  border-image-repeat: stretch;
  border-image-slice: 100%;
  border-image-source: none;
  border-image-width: 1;

  box-sizing: border-box;
  color: rgb(51, 51, 51);
  display: block;
  font-family: monospace;
  font-size: 13px;
  line-height: 18.5714px;

  margin-bottom: 10px;
  margin-left: 0px;
  margin-right: 0px;
  margin-top: 0px;

  overflow-wrap: break-word;
  overflow: auto;
  padding: 9.5px;
  text-size-adjust: 100%;
  white-space: pre;
  word-break: break-all;
  -webkit-tap-highlight-color: rgba(0, 0, 0, 0);
}

.r {
  background-color: rgb(240, 240, 240);
}

table {
    width: 50%;
    border-spacing: 0;
}

.pagedtable-wrapper {
    width: 55%;
}
